// export interface IBrand<Base, Branding, ReservedName extends string = '__type__'> {
//   [k: keyof Base]: Base[k];
//   [K in ReservedName]: Branding;
//   __witness__: Base;
// }
export {};
